自动逻辑推理automate: vt. 1.使(工厂、工序等)自动化。 2.使用自动化技 ...logic: n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理 ...inference: n. 1.推理,推论;推断,结论,论断;含蓄,含意。 2 ...automated logic: 自动化逻辑automated inference system: 自动推理系统下载手机词典可随时随地查词查翻译